High-Speed External Downloads	Speed	Downloads	Health
spin model checker primer and reference manual.iso	2908 kb/s	12584
[Extra quality]spin model checker primer and reference manual	2373 kb/s	4537
[Hot release]-spin model checker primer and reference manual	2829 kb/s	5362
spin model checker primer and reference manual	2949 kb/s	12297